perm filename CMMI7.360[GF,SYS] blob
sn#803136 filedate 1986-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_L'#⊂_Mεt FCA8D@%X↓V`5Pα⊗@EH@ 5@@@5@@`58A50A 50A 5(A@5 A`5 A`E_B 5⊂π∀@⊂P↓T ⊂X↓T ⊂X↓T⊂`↓S`⊂hα∪`⊂p↓S 0hα∩A@¬⊃(D⊂
π"q8αD*0_∧↓
_¬↓
_¬@j _¬A
_¬A
⊂_εj⊂_¬A
⊂_¬↓
⊂_∧A
_∧↓*p(a⊂ (a '@a@_'@a@ '@a@ '@a@ 'a@ 'a@ 'a0 'a &@a⊂ %∧(T !FCQ8Cp0T`@0↓`%⊂↓B@⊂λ↓∀0h↓S`0p↓S@1↓∪ 1λSAλR`A⊂R`DPα∩@DPα∩@DPα∩@1⊂R@1⊂R@AR`1R`0xS0hS 0P↓∪@08↓∀ t("⊃βAxE`Qλ)@a⊂_)a@_)a@ )aP_)aP (@ap_(@ap_(@ap_(@ap_(ap (ap (ap (ap '@ap '@ap '@ap_'@a`_'a` 'aP 'a@_'a0_&@a _%∧(T "FCQ8A"U_↓B`5⊂↓C %⊂↓C %⊂↓C ∃⊂↓C ∃λ↓C@∃λ↓A`⊂0T 08T 00↓∀08T↓5↓A@%↓A@$x↓A`∀x↓A`⊂8S`0xS`0pS@0xS@0pS@0h↓∪@0`↓∪ 0Xα∩BD("⊃C⊃`E`Q )@a _)a@⊂)a@⊂)a@λ)a@λ(@aPλ(@`pλα@*⊂_β@*⊂_βJ_β@*X(``⊂(``⊂'@`pλ'@`pλ'@ip_'i`_'i`_&A X"QλqP∞Ebp`βA@∃_α↓@ _↓∀@0P@ %↓C 4x↓C@4p↓D$h↓D ∀`α∧ ∀Xα∧@∀Xα∩@DPα∩@DPααa$Pαβ`4P↓D4P↓D4Pαβ`4X↓C@4X↓C@4`↓C 4h↓B`Dp↓B λ↓∀! Q(D@∂λ"q8αB@PP)@a@_)a@_)a@_)a@_)a@_(@a@_(@a@_(@a@_(@a@_(a@_(∧J_εj_εip_εip_εip_εip_εi`_εi`_εi`_εi`_εiP_εi PαBHT $D"18AA5 ↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓T5↓T5↓S`4x↓S`4x↓S@4P¬Q(DP
ε"q8∧Bjp +@jp_+@jp_+j`_+j`_*@jP_*@jP_*j@_*j@_)@i _βi _βi λβ@i0λα@I@0"Q 1x⊃¬bp(¬α u_↓C 5⊂↓C@∃⊂↓C ∃⊂↓B`∃⊂↓B@∃λ↓B ∃λ↓B∃λ↓A`∃λ↓A ∃↓A 5↓@`⊂λ↓T0⊂@`5αA4xα↓`4x↓B4x↓B 4x↓B 4p↓B`4p↓B`4p↓C4p↓C4h↓C DP¬↓a∧("∪αQ@E`PX)@j _)j _)j⊂_(@j⊂_(@j_(j_(ip_'@a@λ'@a@λ'@a0λ'a@λ'a0⊂'a0λ'a ⊂&@a⊂ %∧HT &I∧q8A!↓βT`@x@ 5⊂@ 0xα∀@⊂λ↓C@⊂λ↓T@⊂λ↓C ⊂⊂↓T@⊂λ↓C ⊂⊂↓T ⊂_↓B`⊂⊂↓T ⊂_↓B@⊂_↓T ⊂_↓B@⊂_↓T ⊂_↓B ⊂ ↓T⊂ ↓B⊂ ↓T⊂ ↓B⊂ ↓T⊂(↓A@⊂(↓T⊂(↓A ⊂0↓S`⊂0↓A ⊂(↓S`⊂0↓A⊂0↓S`⊂0↓@`⊂8↓S`⊂0↓@`⊂8↓S@⊂@↓@ ⊂8↓S@⊂@αα4pB@@↓S@⊂@↓B 4h↓α H↓RA(↓↓A$("∪CbλE`P8¬α
0_ε@J λ@a@λ) ⊂_ε* λ↓a0λ) _¬@*⊂λαa⊂λ(@ @_∧@*⊂λα@aλ(@ P_∧*λβ@``λ( p_β*λ∧`Pλ(!_α@)pλ¬`0λ'@! _↓@)pλ¬@` λ'@!0_↓)`λεA `λεA `λπi`λπiP⊂π@) @ε(T 'F#A8Cu_↓A@5λ↓B 5↓B`4x↓C 4p↓C@Dh↓D4`α∧4Xα∧ 4Xα∧ 4Pα∧ DPα∧ DPα∧ DPα∧ DPα∧DPα∧DPαβ`DPαβ`4Pαβ@4X↓C 4`↓B`4`αα 4p↓A@5βQ(E
π"q8αD
0_∧j _¬j _¬@j _¬@j _¬A
⊂_¬A
⊂_¬A
⊂_¬@j⊂_¬↓
_¬j_∧↓
`(ip_'@ip_'@i`_'i`_'iP_%αHT (F#ApCu_↓A@5λ↓B 5↓B`4x↓C 4p↓C@Dh↓C`D`α∧4Xα∧ 4Xα∧DPα∧ DPα∧ DPα∧ DPα∧ DPα∧DP↓D DP↓DDPαβ`4Pαβ@4X↓A@(↓S0⊂A⊂_↓S@λA ⊂λ↓S@@(↓T↓8U`⊂8U` (↓∃` ↓∃a¬8βU`e@α⊃(E⊂
π"q8αCj0_β@j _∧A
_¬j _¬↓
_¬↓
⊂_¬↓
⊂_¬↓
⊂_∧A
⊂_∧@j_∧jX(`p⊂(a⊂'@a⊂⊂'@a⊂_'@a⊂_'@a⊂_'a⊂ 'a⊂ 'a⊂ α@)`_∧A@λ&@a0 ↓I P∧↓(T )EC⊃8B@p T@00@@%λ↓α 5↓α`$x↓β$x↓β$p↓C∀p↓S@4xα∀↓¬λ∧Ta¬@α⊗@5P↓V`$`C@$XC@$XC@$X↓β$X↓α`$P↓ 8↓R@⊂ ∧⊃(E
παq8↓Ei@_∧`p_&A_∧@I@λ∧@a⊂⊂%@! _∧@)0λ¬a⊂λ%@!⊂_¬) λ¬a λ*@jP_*j@_*j@_)@j0_)@j0_)j _)j _(A @h"Q
QH∞Ebp¬↓a∧p↓C $h↓C@∀h↓C@∀h↓C@∀h↓C@∀`↓C@∀`↓C@∀`↓C@∀`↓C@∀X↓C@∀X↓C@∀X↓C@∀X↓C@∀P↓C@∀P↓C@∀P↓C@∀P↓C ∀P↓C ∀P↓C∀X↓α`∀`↓α ∀h↓↓@$pβQ(E0
πBq8α! 8&↓↓p⊂&@apλ&@a`λ&@a`λ&@aPλ&A↓0λ'a0λ'a λ'a⊂λ'a⊂λ'aλ'↓`λ'@``λ'@`Pλ'@`@λ'@`@λ'@`0λ'A⊂λ(↓* (j_(HT +I%⊃8@↓⊂(¬↓@t`αα`0`↓S0`↓C∀`↓C0`S 0Pαα`∀h↓B@PPS 0H@@0HS 0H@@0@S 0@@`0@S 08A08S 08A08S 00A 00S 00A 0(S @ A@0(S@0_A`0 S@0_A`@_S@0⊂B 0⊂S@0λ↓α 0λS@0λB@0λS@@Xα∪@@Xα∪@0`↓S@0`↓∪`⊂h↓⊃(E@∂λαq8βα@`@)A! _*a0λ*↓↓⊂λ*@aλ*A`λ+`Pλ+↓0λ+@` λ+A+_,↓ +@ ⊂ + 0_*@ @ * `_)@ p )!⊂_(@! (!@_'@A@ &A↓@ %α↓⊂H"Q⊃X∞Ebp¬α@thαβ`4p↓C`∀pαβ ∀x↓C∀xαα@∃↓B ∃α↓`∃λ↓A@%λα↓%⊂↓A∃⊂α@∃_↓@ ∃_α∀`5_↓T`5_↓T@5⊂↓T@5⊂↓T 4p¬⊃(EPGαq8βDJ⊂ ¬j_¬@j⊂¬@jλ¬@jλ¬ipλ¬ipλ∧@k_+@j` *A
@ )A
0_)a⊂λ(@a λ(a λ'@a0λ'a0⊂&@a@λ&a0_%@a %∧HT 0Cb pπ↓ @⊂↓∪@ _α∪ (↓S 0↓R`00↓R` 0↓R@00↓R@00↓R@00↓R@ 0↓R@ 0↓@`∀P↓↓@0_R@ (α`∀X↓`⊂⊂↓@∀`α↓4("_A@xE`⊂0'iP_&@iP_&@i@_&i@_&`⊂ %A 0⊂%@`P⊂%@`P_%@`P_%``_%``_%``_%``_%@`_%@`_%@P_%@P⊂%@@0⊂&↓λT 1C"pπ↓@Tp↓A∀h↓↓ 4`↓↓@4X↓A`∀X↓∩@4P↓R@4P↓∩@$P↓α@∀X↓α∀`A@$hβ⊃(F λ∧bq8¬↓Jp_+j`_+j`_*@jP_*@ip ↓i`⊂↓A P⊂α@i@⊂βi0_βi0⊂βi _βi _βi _βi ⊂βi ⊂β`0λ%@`_↓@) ⊂αA0λ%@@0λ↓@ λ&↓@_"QPhλβA`0α∪@0_S 0S 8R`00R@00↓∩A∀P↓R@4P↓R@4P↓B ∀X↓α∀`↓↓ $hβ⊃(F0 ¬#a8εA
P⊂↓@JP⊂↓j@_↓@J@_)@j0_)@j0_'Bj0_)j _)j _)j⊂_(@j⊂_(@j⊂_(@j_(j_(J⊂%@@ _%` ⊂%@ ⊂%AλT 3Cb⊃(π↓`@⊂↓∀ _α∪` (↓S@ 0↓S 00↓S 0↓S00↓S00↓S00↓S 0↓S 0↓S 0↓S (α∪ _α∪@@λ↓T`5_↓T@4X↓↓ 4P↓A4P↓↓4Xβ⊃(F@λEαq8↓AJ_'@ip_'@ip_'i`_'i`_A)P_@ @⊂&AP⊂&@``_&@``_&``_&``_&``_&`P_%@``_%@``_↓@)0_α@`@λ%@`P_↓@) _β@@ λ%@A_"Q
⊂H¬Ebp8↓∀5λ↓⊃``_↓S⊂⊂↓R`⊂_↓R`⊂_↓R`⊂_↓S@4p↓S 4h↓S 4`↓@`∀`↓@`∀`↓@@∀`↓@@∀hα⊃(FPπβca8εJP_+Hp0βA
λ↓@Jλ↓@ipλαipλαj0_)@j0_)@j _)j _)j⊂_(@j⊂_(@j_%@@0_%` _%@0⊂%AλT 5Dα18@`e↓S`4x↓S`4x↓S@4p↓S@4p↓ADh↓A⊂_↓∪ 0_@`4h↓@@⊂ ↓∪ 0λS0λSd`↓@ D`↓@`4X↓A4X↓A0_R`0 ↓@`∀X↓A0⊂R@00↓@∀X↓↓`4("≠↓XE` 0'@i`_'i`_'iP_&@iP_&@i@_&i@_&i0_%@i0_%@i _%` λ%` λ%` λ%@@⊂λ&hT 6GDpπ`0(αA T`@@ ⊂↓`0⊂↓`4X@`@0↓ ⊂0↓∩`⊂_↓A`08↓R`⊂_↓A`08↓S@08↓A`4p↓A`08↓S@08↓A`4p↓A`00↓S 08↓A`4h↓A`08↓@`∀h↓A`00↓A∀h↓A`00↓@`∀`↓A`0@↓@∀h↓α H↓Q(Fp
¬A`p↓@`P(& ⊂↓@0_%@ 0 βI0λ↓@`p_%@ 0_β@i`_β@i`_β@i`_β@i`_βiP_β@iP_β@`0λ&@``_α)P_β`0λ&a⊂↓)P⊂∧@hT 7CB⊂pπ↓@Tp↓@`$h↓↓@$`↓↓`4X↓A`4X↓α4P↓B4P↓B4P↓B4P↓α4P↓α4P↓↓`4X↓↓@$X↓↓4hαQ(G ∧BPpα@`@ ' ⊂@@0⊂&@ 0_α@IPλ↓@`P_&@ 0_α@j_βj_βj_βj_βip_βip_βip_α@ip_α@I`_@ 0⊂'` _'i`_&@iP_&@iP_%αλT 8CB⊃(π↓ @_↓∪@ _@ $h↓↓ 4`↓↓@4X↓A@4X↓↓@4P↓A@4P↓A@4P↓A@4P↓↓@4P↓↓@4P↓↓@4P↓↓ DX↓`D`α 5λ↓T 5↓T5↓T4`∧Q(G⊂λ∧A`p↓@`@(& ⊂@@@⊂%@ 0 αi0λ↓@`P⊂%@ 0_'i`_'i`_&@iP_&@iP_&iP⊂"Q∞0hλβA`0αS@ (S@⊂(↓S (↓S (↓∪ Th∧∪A¬β∃$P↓A`$P↓A`$P↓↓`$XA@$`β⊃(G ¬C"A β@J_(ip_'@ip_%αi`_'i`_'iP_&@iP_&@i@_&`@λ&`@λ&`0λ&@@ λ'hT :DB@pπ`@8↓∪⊂_↓↓ 4`@`0 ↓R`⊂_↓A 4X@`0(↓S`0 ↓S@0(↓S@0(↓S@0(↓S 0(↓S 0(↓@`∀h↓A 0_S@ (↓@`∀p↓` λ↓@∀xα↓4("≥B↓⊂πβ@0 βI@λ↓@@@ & 0_αi0λ↓@``⊂%@ 0_βIp_β)`_β@)`_β@)`_β@)P_β@)P_β@)P_β)`⊂α@)`_↓@* "Q∞qH
CA`_αα (↓∪⊂_↓↓@0 α∪⊂_↓A 0(↓R`⊂_↓A@00↓∩`⊂_↓A@00↓∪`0(↓A`∀p↓A@08S@00↓A`∀p↓A@08S 00↓A`∀h↓A@08S 00↓A@∀p↓↓@0(S` @ 0_TP α⊃(G@λ∧a`pα↓0 &@ 0⊂@ 0⊂& @_↓@i0λα@`0⊂%@ P_(j_(j_'@ip_β) ⊂↓@``λ%`⊂ α@) ⊂↓ ⊂⊂α)0_↓A(T <Dα!(π`@8↓∪⊂_↓↓ 4`@`0 ↓R`⊂_↓A 4X@`0(↓S`0 ↓S@0(↓S@0(↓S@0(↓S 0(↓S 0(↓S 0(↓S@ (↓S@ _α∪`@λ↓U5 ↓∪ (↓R`0(↓∩` (↓∪⊂ ↓∪ D("≡Aq⊂πβ@P_β)`(α)PP&@ pλ**0λ)*⊂λ()`⊂&@!λ&!⊂&αI0λ↓AI λβhT εβ18A"5_↓B 5⊂↓B`%⊂↓B`%⊂↓B`∃⊂↓B`∃λ↓C∃λ↓C∃λ↓T 5↓T5↓T4x↓S`4x↓S`4p↓S@4p↓S@4hα∩A4("#1pEb0λ.k0 - ⊂_,@ _,@ , @_+@ P_+ ` *@!_*A_*!⊂ )@! )!@_(@!P_(AP (!p_'@"_'"⊂ &@"0_&B0_&ε)1P%εhT ↓ε#A8Cu_↓A@5λ↓B 5↓B`4x↓C 4p↓C@Dh↓C`D`α∧4Xα∧ 4Xα∧DPαa0_α∩@@_¬@`DPαa0_α∩@@_¬@`DPα∧DP↓D DP↓DDPαβ`4Pαβ@4X↓C 4`↓B`4`αα 4p↓A@5βQ(@_εBq8λ@K0⊂-k⊂ ,Aλ@jp⊂@jpλ↓j`λ↓A
`λ↓A
Pλα@j@λβj@λβj0λβ@j ⊂β@j λ∧j⊂λ∧A
⊂λ∧A
λ¬@ipλεipλεi`λε@iP⊂ε@i @βB(T αεca8ABU
S`⊃_S`⊃_S`⊃_Q`P0C ∃πT↓uC ∀8α@ ⊃_R`⊃_R`⊃_RBTP
Q(@(∂λ"q8αF*0_εj _εj _εj _εj _εj⊂_εj⊂_εj⊂_εj⊂_εj_εj_εj_εj_εip_εip_εip_εip_εi`_εi`_εi`_εi`_εiP_εi PαBHT βπβq8ABeαβ@Eλ↓C`5λαβ`%⊂↓C`∃⊂αβ@∃_↓C@∃_αβ ∃ ↓UE(↓U 5(↓U@∃(T` hT@⊂xT ⊂xT⊃S`⊃↓∪@⊃↓∪ xα∩bTP⊃(@8Fbq8α↓↓0 &αp8%B PP%@P ↓AP⊂% p_↓@Aλ)@@ ⊂)@@⊂_)@@⊂⊂)A
0 )@j0_)@j0_)j _)j _(@j⊂_(@j⊂_(↓ @`"Q↓↓8Ebp@ε∃@E0↓U@50↓Ta¬↓@@0⊂α∪@0 ↓A4`α↓ 0(↓R`@0↓A DXα↓ 00α∩@@0↓A@DPα↓@00α∩@@0↓A DPα↓ 00α∩`0(↓A D`↓A0 ↓S @⊂↓@@5∧∀@5⊂↓T@5λα∪!D("α#⊃XE`p`*A
P_*@i β@`p &``_βi@_α@``_&`P_α@i@_α@`P_&`P_α@i0_α@`P_%@`P_α@i0_α@`P_%@`P_αi0_α`P⊂&@@_αIP⊂↓@`0⊂'@ _@ip@(@j⊂_(@j &βλT ¬εCa8C↓¬_α↓@E⊂↓B@5αβ4xαβ Dpαβ@Dpαβ@Dhαβ`Dhαβ`Dhαβ`4hαβ@Dhαβ@4hαβ Dp↓CDp↓C4p↓B`4x↓α`$x↓α@$PA ⊂H↓↓∀PA ⊂HA ∀PA 8A ∀PβBtPβAa∧PβA`t("αbA8πβ@`0'`@⊂β)P⊂β@@Pλ&`p_α)0_∧`0λ%@A _↓) _¬`⊂λ%a _@) _¬↓ ⊂¬@i ⊂¬@i _¬i0⊂∧↓)@⊂α@@0⊂↓)P0βhT ε¬αapCU(A% A@%_A`5⊂B5λB 5λB5B 5B %@`tx@`⊂ ↓∪`⊂ βS`⊂H↓S`⊂H↓S@⊂P↓S@⊂P↓S@⊂P↓S@⊂P↓S H↓S H↓S @↓S ⊂λA`$`@@ ↓S⊂ αS∀`R`∀XR`∀XR@∀("β"A0
C@P ¬)P8∧)@Hβ)0 ↓APλ%@!⊂λα) λ¬@ 0λ+ λ+ λ+@ ⊂λ+@Jp⊂+@*pλ+@*`⊂+J`⊂*@JP⊂*@JP⊂*@(T πβ"↓8BE↓↓∀x↓↓ ∀p↓∪@$p↓∪@4pαS`UαSA∧h↓↓4`↓↓@$X↓A@$X↓α∀P↓B∀P↓A`$P↓A`$P↓α∀P↓↓`$P↓↓`∀X↓↓ ∀`A∀hα⊃(@x¬CA`pβ↓)`_&@I@⊂%@i _%αI _%i _%i0⊂%@I@⊂α@)`("Qαx πBpPU∃ T`U⊂↓@`∃λ@@ES`∀pS $`↓∪∀X↓∩`$P↓∩@$P↓∩@$P↓∩@$P↓R@DXβ∪↓∧h∧∀e_↓T`5 S`⊂_↓∀D("∧"⊃_
C@0_α↓)@λ↓@ λαI0λ↓AP⊂%@ 0_βi0λ↓@``_'``_'``_'``_'``_&@``_&@``_&@``_&@``_&``_&@@`_*@jP_*j@_*j@_*HT βb!8BEλ↓`∃↓↓$x↓↓ $p↓A $p↓↓@4h↓A@4h↓↓`4`↓A`4`↓A`$X↓A`4XεRaTX↓A`4X↓↓`4P↓A`4P↓A`$P↓A@4P↓A@$X↓↓ 4X↓↓ $X↓↓$`@`$hα⊃(A_∧C↓`pαIP_&@iP_&@i@_&i@_%@i0_%@`@λ%`Pλ%`@λ%@@0λ&↓λT
∧"@pπ↓ 8↓S 0(αS 0 @`$h↓@`∀h↓@@∀`↓@ $`∧∪0_α∪0(↓R`00↓R`00↓@`∀X↓A@0_R`00↓@@∀P↓B ⊂R` H↓Q(A( EBq8α↓
_(↓
⊂_(A
_)j )@j0 *j@_*↓
@ )AJ ⊂↓j⊂⊂↓@ip_α↓ `_βiP_βA @_∧@i0_¬i _εi ⊂εAλT ∧BQ(π↓ 8↓∪@00↓S@00↓S@00↓S@00↓S 00↓S 00↓S 00↓S 00↓S00↓S00↓@`∀`↓A@0_S0(α`∀Xα@`⊂⊂↓@∀X↓@ @ ↓R`4X↓R@4P↓R@4P↓R@$("¬b↓_πβ@⊂0β@IP_β@iP_β@iP_β@iP_βi@_β@i@_βi@_βI@_α@i0_α@i0_αi0_↓@I0_↓I 0%↓λT βb⊃pB ∃_T`∃_αT@ S`0⊂α∪@4h↓S 4h↓S 4h↓S 0λαS@0(S λβ∪$`R`$P↓∩@$P↓∩@4PαR`d`∧∪A¬λβ∀`E ↓∀⊂_↓∀ D("ε"A8πβ@1&∧I1⊂%@Pλα) λα@@@λ( @⊂( @⊂'@@@⊂'@@@⊂'@P⊂'@P⊂&@`P_&@`P_&`` &@@p⊂"Qβ! E!`Hα∀ T (↓∪` 0↓S@00↓S@ 8↓S 08↓S 08↓S 08↓S08↓S08↓S00↓S00↓∩`0λ@`4X↓@@DX↓R`4P↓R@4P↓R@4P↓⊃(AX EA`pββ `x&Ci@ α↓ 0_β@i0_β@i _∧i _∧i _∧i ⊂∧i ⊂∧i ⊂β@i _βI0⊂αiP("QβAλ
βA`_εS↓tXπR@ (R@⊂(↓∀%↓∪`$x↓∪`$p↓S@4p↓S 4p↓⊃(Ah ¬↓`p↓A↓⊂& 0⊂β↓ @λ↓@``_%@ 0_∧I0λ↓@a⊂'@aλ'a⊂λ'a⊂λ'aλ&@a⊂λ&@aλ&@aλ'@pλ'@@@⊂(↓(T ∂∧bapC ∃8U@∃0U@∃0U ∃(U ∃⊂β∪`0⊂@`$p↓↓⊂ ↓∪0(A $X↓A@⊂(↓R`0(A@4P↓A@⊂0↓R@00A@4P↓A@⊂0↓R@0(A@4P↓A ⊂0↓∩@0(A $X↓↓ ⊂ ↓∪0⊂@`4pβT ∃λT∃T∃S`∀("πbQ8
C@0 ε@)@λ↓a0λ%@ 0 ∧@*_∧* β*⊂_α@*⊂ ↓@* _↓* _@* )@j0_)A
λ@j⊂λ↓jλ↓A pλα@i`λβ↓ Pλ∧i@λ∧A0λ%@!0_↓) λεAλT ⊂¬c⊃pD∃PV ∃HV ∃HV∃@V∀hα↓`⊂(↓∪⊂_↓↓ ⊂(α∪⊂_↓A⊂0↓R`⊂_↓A ⊂8↓∩`⊂_↓A ⊂8↓∪`0 B∀p↓A ⊂@S@0(B∀p↓A ⊂8S 0(B∀h↓A ⊂8S@ (A@∀p↓A⊂(S`0⊂@`5λβU∃ T`∃_T`∃_T@∀("λ"a@πβ@0λπ@I@λπA @λλi0λ I0λ I λ∧@Aλ%!⊂⊂∧) λ∧A⊂λ%!⊂∧) λ∧@p⊂%@`_βI B⊂(%∧I00↓Ai@ αAλT ⊃βBpπ↓@dp¬∪ 8↓∪∀`S⊂⊂αS S⊂λαR`∀PR@∀P↓α@∀X↓α∀`∧S d("λb1(Ea@_*@ 0λ* @⊂)@ P⊂)@ P_)@ P_)@ P_)@ P_* @_&@`@⊂↓@i@λ↓@P(%@ 0_βi0λ↓@``(%@ 0_βi`_βi`_βi`_βI`_α@iP_βIP_βIP_α@IP_αI`⊂α)p("Q∧Ah⊂βA`_Sβ4X
R@ _D`∀P@`⊃ S@⊂HB@∀hB@⊂PS ⊂PB@∀hB HS @↓B ∀`↓↓` λ↓↓@$`↓A0⊂↓↓ 4h∧a∀hβA tpααD(" !q_
CA (@@λ'@@P⊂'@`_&@``_&@@p_&`p_&`p_&`p_%@`p_%@`p_%@``_%AP⊂%@⊂⊂↓@i λα↓ λ%) ⊂%αi0P&αJ@λ"Q∧`hπD!`8β∪@0(S $`R`$P↓∩@$P↓∩@4PαR`d`βS@eαT@5⊂↓∀@$xα⊃(B8
FαPp↓@!0 &! 8&!⊂H%@!⊂_α@I0λ∧@!λ%!⊂λ∧@) λ∧@!⊂λ%!λ¬) λ∧!⊂λ% pλ∧@I ⊂β!⊂%A0λαA @x&C
8(J⊂(Ip_'@ip_'@HT ∧BQ8BU↓↓ $xB$p↓α $p↓B$p↓B %P↓⊗@%P↓∀ P ↓∪` (↓ 4h↓A`⊂λ↓S0Hα∩`0Pα∩` X↓R@0X↓R@0X↓∩@0P↓R@ X↓∩@ P↓R@0H↓∩` @↓∪ (↓∪@T("_↓`xEa _)@@ λ)@0λ)@0λ(@@@λ(`@λ(`0λ'@`@λ'@`0λ'@`0λ'`0λ'` λ'` λ'`⊂λ'@⊂λ&A P_&@iP_%@@⊂⊂% 0⊂'@`λ'@@0⊂(↓λT =B!0pπ`4`@@4X@`4X@`4X@`4p↓S@4h↓S 4h↓S0_S0_S0⊂S0⊂S D("∨↓Pp
C@p ( 0⊂( 0_'@ @_'@ @_)@j0_)@j0_)j _)j _(@j⊂_(@j⊂_(i0⊂↓@i _↓@I ⊂↓@I0("Q∂Q ¬!` ↓∪ 8αS 0↓↓ ∀X↓↓ 8↓∩` B 4P↓↓⊂P↓R@ _B`4P↓`⊂X↓R@ ⊂C4Pαβ4Pαβ4Pα↓⊂0↓R`@_A@$Xα@@⊂(↓∩`⊂λα@TX@@4X@`4PA$PA$PA∀X@@$`↓⊃(Gpλ¬`a8εJ`_%∧ !*@jP⊂*@(T ?Dβ0 ↓ t`↓A`$XC∀PC@∀("↓aλπβ@@0&`@_%@``_%@A⊂%a_%a_%a_%a_%a_%a_%a_%@A⊂%@``_&`@_'↓HT _Cαpπ↓`∀P∧∩@⊂ ↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4Pε⊃(C⊂π∧!`p↓B 0⊂β↓ ⊂∧i _∧i0λ∧@j@ *j0_)j⊂⊂'@@`λ'@pλ&BI0`%β(T →CB⊃(π↓T`↓↓4X↓↓@4X↓A DX↓A@4`A@E_α∀`5_↓∀@$pαT@5_↓U5 α∩`⊂@α∩@08α∩@08α∩@⊂H↓R`⊂8↓S ↓S@T("
α↓⊂
CA ⊂*J0_)↓
⊂((@ ⊂_( _'@ 0_' @_&@@@_&@ P_& `_%@ p_%@p_%∧
0_)@j0_)@j0_)@ipX"QεPpλE!`⊂↓↓`$`¬∪↓∀`∧∪∀`S∀`S⊂⊂αS0 ↓∪⊂8↓∃ %(↓U 5(↓R@0@↓R@0@↓R@ H↓∩`⊂@↓R`⊂@↓∪ ↓S@T("
Aaλ
E p '@@@λ' `⊂&@@P_&@`_%@i0⊂%i _↓↓) _@ @⊂%↓`⊂%↓p⊂%a_%a_%a_%a_%@A_%@A_&@p⊂&@`⊂&@@@⊂'A(T ≠Cb!0π@ ∀Xπ∩aTXεR@⊂XR@⊂PR@⊂HU∃_T@∃⊂T %λT%↓∀$x↓S`4x↓S`4x↓S`5Q(C@π∧"Q(αA)P⊂αI@⊂βI0⊂∧I0⊂∧I0⊂∧I0_β@I@_α@I@(↓IP8'AIP⊂↓↓)@⊂α↓)0⊂β@i ⊂∧@i ⊂¬I ⊂¬I ⊂¬I0⊂∧@)0⊂∧)@_αI`0"Qπ⊂pλE!` αS ↓∪ 0↓∩` 8↓∩@0@↓∩@0@↓∩@0@↓R@0@↓R@0@↓R@0@↓R` 8α∪ 0α∪ @ 4pα@@5(↓U % ↓R`00↓∩`00↓∩` 0↓∪⊂ ↓S T("
∧"(ββ@`λ()pλ')@⊂%H)"⊂"Q¬∩⊂∩AA⊂⊃∩d∀`↓∪@∀xT∃Q(BP⊃ `p
@,Pλ3,pλ4I"⊂%λHT ∃HDP0∧@∧$P⊃~&8Y@⊗(Y ∀("`H∧D 0_%A) _%I ⊂%I ⊂%i0(&@hT ⊗AA⊂Hλ@4PαS 4p↓∪@$p↓∪@$h↓R@TP↓Q(Bpλ∧B⊃λI %↓) ⊂A ⊂↓A ⊂αA ⊂β@i ⊂∧↓ ⊂¬↓ ⊂¬↓ ⊂∧@i ⊂βA ⊂αA ⊂↓A ⊂↓i 0%↓ ⊂"Q¬q ∧"⊂p↓∃@E(αT`@λ↓∀ @_↓∪`@(↓∪@08↓∪@@↓∩@@P↓∩@@P↓∪0H↓∪ @8↓∪`@(↓∀ @_↓∀`0⊂↓∃e0α⊗$("∞@@@↓@`⊂⊂%↓ %@HT ≥A↓P↓@ $Pα∩@DX↓S ∀hS ∀`S∀XR@∀("∂αqXEαP⊂.A0 ,A
p *A
@_)↓
'↓ @ %↓ &↓ ` (↓
*jP +A⊂ -AP /@HT ≡CB∩⊂C%0↓∃ 5(↓∃ % ↓U%_↓T`%_↓∀@5⊂↓∀@%λ↓T %λ↓∀5↓∪`4x↓∪`$p↓S@$p↓∪ 4h↓∪ $`↓S$X↓R`$X↓∩@4P↓∩@$("∂BqXE⊂%↓ @ '↓
)↓
@_*A
p ,A0 .AP -A⊂ +A
P *j (↓ ` &↓ %HT ∨DbAλλB ∃_T`∃_T`∃⊂↓T@4Xα@@0⊂αS!Tx∧T UλαT0λ↓T _↓∪` (↓∪`⊂8S@⊂HQ(EX¬β#⊃H) λ%) λ%) λ%) λ%) λ%) λAI _↓@i λβi λβi λβi λβi λβI λα@i λα@I λαi λ↓@i λ↓i λ@I _%(T .α↓Ax∀PR@∀PR@∀PR@∀PA $P@`DP@ dPβ ∀Pα`∀P↓↓ ∀PA@∀PA@∀PA@∀PA@∀PA@∀PA@∀PA@∀PA@∀PA@∀PA $P@`DP@ dPβ ∀Pα`∀P↓↓ ∃λT ∃λT ∀("↔! h∂¬`pλ(@)@λα)@λα)@λα)@λα)@λαi@λ↓↓)@@%α (↓) _α)@λα)@λα)@λα)@λα)@λα)@λα)@λα)@λα)@λα)@λαi@λ↓↓)@@%α (↓) _α)@λα)@λα)@λ&(T /λDP8ε∩R`⊃pS⊃`S !@↓∪@1 ↓TP`αTB%0¬⊃(Ex⊃ p`¬βJ!⊂(b_'B`⊂&@# λ@λ%@#`λ%$λ"{avH2→-g 4YM⊗(9λλ4h&R=q`1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ
↔ 0[
⊗_wCfx7≥fλ1Y,'H:→>0x∂@∧rλ≤_→2w⊂↓∨38↓∨38αH␈␈␈␈8↓H{β¬F3`∧B?0H x"F ⊗≡`⊂∂↓↑8⊃↓⊂Y⎇@1`β_1⊂α1p{↓βPε`b∧o?0αH p|∪@ l↑`0∂@↓bp+@↓ ⎇@q@αZupαFP{αβ0ε∀(p¬↔∨0∧F X<↔@
H≡`P∂@↓a R@↓(G⎇A1Pα| (α`{βαp¬↔(p¬J?0εE HLz 3≡`p ↓∧pk@↓8⎇Aqλ↓sdHαvP{∧α ∧∀(p¬r∨0λE H59 w≡a⊂ @↓ i↓@≠⎇B0x↓X;pβ 0{¬αp¬,o`ε_?0
FPkX@C↑a0↓1h∪@↓H+⎇Bq α% ⊂β≠ {εα ∧∀(pε>?0E`PX∀
⊃≡aP
@↓↔X`↓PB⎇C18αRx(β-0{πα ∧≠=`εb∨0∞E@P⊂!`
N↑ap↓/hI↓XA⎇CqHαm;⊂β?`{λβ εεpπ?0⊂F XAt∞8≡b⊂ @↓
⊂`↓h↔⎇D1@αa~(βV{ ∧⊂πL`pπ9←0∩E H=p∂λ≡b0π@p8∂↓p8⎇DqPβ[(βip{
¬ ∞≥⊂λnO0∀J↓⊂≤: ⊃b>bP∀α#@t@α_O=E2@∧G∞H∧;_{↓@α[7⊂λy∂0⊗C(6n ⊃x}bp
↓∃h<@α_␈=Eq α+WH∧Dλ{α@∧W/⊂λ→∂0_EH.↑ ⊂A}c⊂
↓∃h<@αλ↔=F1 α+WH∧∃x{
α@∧W/⊂λ5∂0~EH.↑ ⊂{>c0
↓∃h<@α⊂~=Fq α+WH∧(X{∞α@∧W/⊂λXo0≤EH.↑ ⊃G>cPεVh\@α B=G0`↓-[H∧I_{∂βpπ∩%⊂ ⊗∂0≡EH.↑ ∩9}cp∂@↓dH∀@α(~=Gq α+WH∧VX{⊂αP∧p[⊂π←?0 G@h←@@λ}d⊂∂↓\xI?=H1hβ#C8
x{⊃∧⊂π<>P'O0"G h5R`g}d0@↓98K@⊂α=HqxβG18%H{∩∧⊂π> `Wo0$D@@t@↓H}dP↓!`m@_-=I2λβk=p9H{∪β0ε"E`↓O0&I@↓λ7 α∩}dp⊂↓gP*@(=Iqpβ<r⊂X8{∀β⊂¬he⊂↓=/0(G`p2F`β
}e⊂∂↓\(π0]=J1@αg∃r_{∃β¬2y0↓o/0*F``9e βs>e0↓,X→@→=Jr(∧&H↓λx{⊗∧⊂π?, α&o0,E`P←&`∧e>eP
@↓G ≥@Hs=K1↓lYH∧Z⊂{↔αβY3⊂ >␈0.D82f ∪~≡ep∀α#@t@α0m⎇Kr@∧G∞H∧op{_α⊂βiTπkO00E@Hu ¬∞}f⊂ ↓HaPD=L1⊂α¬28↓-X{→αP∧`|αao02D`@Vε`¬[>f0 @↓∞HWXQ=Lq_α≥-⊂↓?_{~αp¬,o`β /04C@0;b`ε*>fPλy#@`s=M1(α6xp↓Rx{≠↓Pαqy0β2∂06H`↓≤∂@εs}fp@↓4`Gp#=Mq α [⊂↓iX{≤αP∧[¬0β[/08D@@0* πM}g⊂ ↓π`QxE=N1_α∀λ(↓|λ{≥↓pβ9t β}o0:FPg%`λ}g0
↓∩ K@↓B=Nqhβ'⊃(αh{≡αp¬↔/⊂∧&o0<EH"F`λ←}gP @↓XP↓λp=O0p↓L
pβ{8{∨↓pβDJπ⎇O0>F XW"`⊂>gp
↓∃h<@αO=Op`↓-[H∧_|@α81`{⎇xow{⎇x